考虑
, 展开后
的系数可以表示为上述左式或右式, 于是得证.